Synthesis for Tekton